infinitary logic中文什么意思

无穷逻辑

月24日

• logic:    n. 1.逻辑，理论学。 2.推理[ ...
• -logic:    -logic, -logical ...
• and logic:    “与”逻辑

百科释义

An infinitary logic is a logic that allows infinitely long statements and/or infinitely long proofs. Some infinitary logics may have different properties from those of standard first-order logic.